#ifndef __WATCHDOG_H_
#define __WATCHDOG_H_


void WDG_Feed(int tid);
void TaskWDG(void * argument);


#endif

